Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
741	IN PARTNERSHIP WITH: Université Paris-Sud (Paris 11) Activity ReportProject-Team TOCCATA Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 11:15:16 Automated theorem proving Formal methods Logic in computer science Artificial intelligence Formal verification Coq Proof assistant KeY Automated reasoning Theoretical computer science Mathematics Applied mathematics
742	OGC Project Document TITLE: Big Data DWG Charter Author (s) Name: Peter Baumann Organization(s) Jacobs University Add to Reading List Source URL: external.opengis.org Language: English - Date: 2014-04-22 09:09:16 Science Data analysis Business intelligence Big data Data modeling Transaction processing Open Geospatial Consortium Peter Baumann Data mining Formal sciences Data management Technology
743	Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak School of Computer and Communication Sciences, EPFL, Switzerland Abstract. We consider an extension of integer linear arithmetic with a “star” operator tak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-11-06 07:52:12 Linear algebra Boolean algebra Electronic design automation Formal methods NP-complete problems Multiset Boolean satisfiability problem Vector space Theorems and definitions in linear algebra Mathematics Algebra Theoretical computer science
744	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
745	Decision methods for arithmetic Third summer school on formal methods Leonardo de Moura Microsoft Research Symbolic Reasoning Add to Reading List Source URL: leodemoura.github.io Language: English - Date: 2015-05-19 13:22:05 Propositional calculus Theoretical computer science Rules of inference Logic programming Resolution Literal Clause Automated theorem proving Logic Mathematical logic
746	A Decision Procedure for CTL∗ Based on Tableaux and Automata Oliver Friedmann1 , Markus Latte1 , and Martin Lange2 1 2 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:08 Method of analytic tableaux Theoretical computer science Applied mathematics Ω-automaton Formal language Automata theory Mathematics Automated theorem proving
747	DraftVital Signs Indicators Framework: Structure for Methods Development, Analysis, and Reporting This is the first report on our efforts to organize the indicators in a formal conceptual framework that is u Add to Reading List Source URL: gorgevitalsigns.org Language: English - Date: 2011-01-24 12:32:55 Environmentalism Sustainability Earth Sustainable development Environmental indicator Community indicators Environment Environmental economics Environmental social science
748	Effective Typestate Verification in the Presence of Aliasing STEPHEN J. FINK and ERAN YAHAV IBM T. J. Watson Research Center and NURIT DOR1 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-01-27 15:57:10 Logic in computer science Formal methods Formal verification Pointer analysis Shape analysis Pointer The Verifier Abstract interpretation IP Theoretical computer science Applied mathematics Static program analysis
749	dD5.2 Detailed specification and development of demonstration activities Add to Reading List Source URL: grid4eu.blob.core.windows.net Language: English - Date: 2015-03-13 12:33:35 Software development process Software engineering Specification CEZ Group Formal specification Technology Ethology Formal methods Science Methodology
750	Symbolic Resource Bound Inference for Functional Programs Ravichandhran Madhavan1 and Viktor Kuncak2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-05-24 11:45:01 Formal methods Electronic design automation Logic in computer science NP-complete problems Model theory Function Boolean satisfiability problem Structure Parameter Mathematics Theoretical computer science Mathematical logic

UPDATE